sequent calculus
[网络] 相继式演算
热门查询
- leander n. 利安得（希腊传说中海洛的情人）
- cre abbr. 中铁快运（China Railway Express）
- Elia 伊利亚(Charles Lamb的笔名)
- unexpired adj. 未到期的；未尽的
- disjunctive n. 反意连接词 adj. 分隔的；分离的
- chatham n. 查塔姆（姓氏）
- licensing v. 许可；批准（license的ing形式）
- hype n. 大肆宣传；皮下注射 vt. 大肆宣传；使…兴奋
- orfe n. 圆腹雅罗鱼（一种观赏鱼）
- stereophonic adj. 立体声的，立体音响的
- patois n. 方言，土语；行话 n. (Patois)人名；(法)帕图瓦
- exhaust n. 排气；废气；排气装置 vt. 排出；耗尽；使精疲力尽；彻底探讨 vi. 排气
- Trumper n. (Trumper)人名；(法)特兰佩
- caned n. 手杖；藤条；细长的茎 vt. 以杖击；以藤编制 n. (Cane)人名；(英)凯恩；(西、意)卡内；(塞)察内
- missioner n. 教区传教士
- archiving n. 归档 v. 把…收集归档（archive的现在分词）
- Latinization n. 拉丁化；译成拉丁语；罗马天主教化
- lifeboat n. [船][安全] 救生艇，救生船
- FI abbr. 磁场强度（Field Intensity）；船方不负担装货费用（Free In）；场电离（field ionization）
- disassociation n. 分裂；分解；离解作用
考试词汇表
- taphrina deformans
- taphrogenic trough
- taping and sealing
- tapioca processing
- tappan zee bridges
- tapped and plugged
- tapped transformer
- tappered HP rating
- tappered waveguide
- tappered workpiece
- tappet oil gallery
- tapping attachment
- tapping by syphone
- tapping quantities
- tar and feather sb
- tar bitumen binder
- tar dolomite brick
- tar making process
- tar paper unroller
- tar stripping unit
